prove the product of invertible matrices is invertible